Le Québec au temps présent: un Dieu absent sans remplaçant?

Au temps en emporte le C

Le (bon) séquencement des événements au fil du temps est un sujet important pour l’analyse de programmes, par exemple dans le cadre de protocoles d’échange d’information ou de systèmes embarqués. De nombreux travaux s’appuient sur la logique temporelle linéaire (LTL) pour décrire formellement le comportement attendu d’un programme, sous la forme d’une succession d’actions distinctes. Implanté a...

À l'ombre d'Avicenne. Le médecine au temps des califes. Exposition présentée du 18 novembre 1996 au 2 mars 1997

female love, it being thought that women were destined to love each other anyway and passively lie in each other's arms, as pictured in dozens of illustrated Victorian calendars showing fair maidens intertwined in the meadow or caressing by the brook under a tree. White includes only a few female voices before the 1870s: Charlotte Bronte in a letter of 1837 to Ellen Nussey, and Adah Isaacs Menc...

LUSTRE : un langage déclaratif pour le temps réel. (LUSTRE: a real time declarative language)

Multivariate Option Pricing With Time Varying Volatility and Correlations

CIRANO Le CIRANO est un organisme sans but lucratif constitué en vertu de la Loi des compagnies du Québec. Le financement de son infrastructure et de ses activités de recherche provient des cotisations de ses organisations-membres, d'une subvention d'infrastructure du Ministère du Développement économique et régional et de la Recherche, de même que des subventions et mandats obtenus par ses équ...

Un Gc Temps R Eel Semi-compactant

R esum e Nous avons d evelopp e un nouvel algorithme de GC temps r eel \dur". Notre algorithme place une limite sup erieure sur le temps d'ex ecution de chaque primitive d'allocation ou d'acc es aux objets, selon leur nature. Il s'agit d'un GC compactant. Nous l'avons implant e et avons v erii e qu'une application a allocation intensive tourne seulement environ 3 fois plus lentement avec ce GC ...